Linear Formulas in Continuous Logic

نویسندگان

  • F. Fadai Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, Tehran, Iran
  • S. M. Bagheri Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, Tehran, Iran
چکیده مقاله:

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linear $Delta_n$-sentences and positive linear theories will be given.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Saturated Formulas in Full Linear Logic

In this note, we show by a proof-theoretical argument that in full linear logic the set of formulas for which contraction and weakening are admissible (the set of saturated formulas) does not coincide (up to equivalences) with the set of exponentiated formulas. This solves an open problem of Schellinx.

متن کامل

Deciding Provability of Linear Logic Formulas

A great deal of insight about a logic can be derived from the study of the diiculty of deciding if a given formula is provable in that logic. Most rst order logics are undecidable and are linear time decidable with no quantiiers and no propositional symbols. However , logics diier greatly in the complexity of deciding propositional formulas. For example, rst-order classical logic is undecidable...

متن کامل

Identifying meaningless parameterized linear - temporal - logic formulas

Parameterized runtime monitoring formalisms allow predicates to bind free variables to values during the program’s execution. Some runtime monitoring tools, like J-LO , increase the formalism’s expressiveness by allowing predicates to query variables already during the matching process. This is problematic because, if no special care is taken, the predicate’s evaluation may need to query a vari...

متن کامل

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications

Software property classi cations and patterns, i.e., highlevel abstractions that describe program behavior, have been used to assist practitioners in specifying properties. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution over which a property pattern is considered. Based ...

متن کامل

Generating Linear Temporal Logic Formulas for Pattern-Based Speci cations

Software property classi cations and patterns, i.e., highlevel abstractions that describe program behavior, have been used to assist practitioners in specifying properties. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution over which a property pattern is considered. Based ...

متن کامل

Prediction Formulas for Continuous Time Linear Rational Expectations Models

l1li' 11' In this note we derive optimal prediction formulas to be used in solving continuous time rational expectations models. In these derivations we employ Laplace transforms in a manner analogous to the use of z transforms for solving discrete time optimal prediction problems in Hansen and Sargent (1980a, Appendix A). The formulas are intended to play the same role for continuous time mode...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 17  شماره 2

صفحات  75- 86

تاریخ انتشار 2022-09

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023